Keys, Nominate, and Concrete Domains
نویسندگان
چکیده
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to "concrete" domains such as numbers and strings. We propose to extend such DLs with key constraints that allow the expression of statements like "US citizens are uniquely identified by their social security number". Based on this idea, we introduce a number of natural description logics and present (un)decidability results and tight NExPTlME complexity bounds.
منابع مشابه
Chair for Automata Theory LTCS – Report Keys , Nominals , and Concrete Domains
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be quite useful for reasoning about conceptual models of information systems, and as the basis for expressive ontology languages. We propose to fu...
متن کاملKeys, Nominals, and Concrete Domains
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete” domains like numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be useful in several application areas, such as providing the basis for expressive ontology languages. We propose to further extend such DLs with key...
متن کاملTwo new species of nocturnal bees of the genus Megalopta (Hymenoptera: Halictidae) with keys to species.
Megalopta Smith, 1853, is a Neotropical genus of nocturnal or crepuscular bees. Two subgenera are recognized with most of its nearly 30 species placed in the nominate subgenus. Species of Megalopta s. str. are more commonly collected than species of Noctoraptor Engel et al. 1997, all presumably parasites of Megalopta s. str. Two new species of Megalopta are described here: M. (Megalopta) tetewa...
متن کاملA taxonomic review of the Ceratophyllus Curtis, 1832 of North America (Siphonaptera: Ceratophyllidae: Ceratophyllinae).
The 22 North American taxa assigned to the flea genus Ceratophyllus Curtis, 1832, are reviewed. All are parasites of birds and include 17 species in the nominate subgenus, 3 in Emmareus and 2 in Celeophilus. Keys to the subgenera are provided, distinguishing characters of the individual species are discussed and illustrated and the various aspects of distribution and host preferences are cited.
متن کاملMaster ’ s Thesis on Description Logics with Concrete Domains and Functional Dependencies by Maja Miličić born on 9 th May 1978 in Belgrade
Description Logics (DLs) are a family of logic-based knowledge representation formalisms designed to represent and reason about conceptual knowledge. Due to a nice compromise between expressivity and the complexity of reasoning, DLs have found applications in many areas such as, e.g., modelling database schemas and the semantic web. However, description logics represent knowledge in an abstract...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007